2

Multiparty Contract Signing Over a Reliable Network

Year:
2006
Language:
english
File:
PDF, 293 KB
english, 2006
3

Epistemic Verification of Anonymity

Year:
2007
Language:
english
File:
PDF, 387 KB
english, 2007
4

Distributed State Space Minimization

Year:
2003
Language:
english
File:
PDF, 207 KB
english, 2003
5

Distributed Branching Bisimulation Reduction of State Spaces

Year:
2003
Language:
english
File:
PDF, 181 KB
english, 2003
6

Distribution of a simple shared dataspace architecture

Year:
2003
Language:
english
File:
PDF, 202 KB
english, 2003
8

Distributed state space minimization

Year:
2005
Language:
english
File:
PDF, 1.82 MB
english, 2005
10

Invariants for Parameterised Boolean Equation Systems

Year:
2010
Language:
english
File:
PDF, 1.65 MB
english, 2010